Open Questions Surrounding RCU
نویسندگان
چکیده
Read-copy update (RCU) is a light-weight synchronization mechanism that has been used in production for well over a decade, most recently, as part of the Linux kernel. Although RCU is well-understood in the sense that practitioners are able to make good use of it without special training, there are a number of intriguing open questions related to RCU. This paper introduces a number of such questions, calling out prior and ongoing research efforts where applicable.
منابع مشابه
Exploiting Deferred Destruction: An Analysis of Read-Copy-Update Techniques in Operating System Kernels
The performance of synchronization instructions on shared memory multiprocessors (SMMP) has declined dramatically compared to the performance of simple instructions. As a result, operating system developers for SMMPs have sought out synchronization algorithms that avoid using these instructions, especially in commonly executed paths. One such algorithm that has been applied successfully in stat...
متن کاملSleepable Read-Copy Update
Read-copy update (RCU) is a synchronization API that is sometimes used in place of reader-writer locks. RCU’s read-side primitives offer extremely low overhead and deterministic execution time. These properties imply that RCU updaters cannot block RCU readers, which means that RCU updaters can be expensive, as they must leave old versions of the data structure in place to accommodate pre-existi...
متن کاملRCU Usage In the Linux Kernel: One Decade Later
Read-copy update (RCU) has been used in the Linux kernel for more than a decade, raising the question of exactly what it is used for. To answer this question, we briefly survey use of RCU in the Linux kernel, addressing the why, where, and how of its usage. This document also includes a novel graphical depiction of the relationships among several patterns of RCU usage.
متن کاملApplications of RCU
The RCU synchronization mechanism has been the subject of a fair amount of research over the past few years. This paper takes a look at RCU from a application-oriented perspective and surveys the usage of RCU in real-world systems. The first part of this work deals with the Linux RCU API while the second part discusses user-level implementations. In addition, this paper contrasts the advantages...
متن کاملSome Examples of Kernel-Hacker Informal Correctness Reasoning
I presented an overview of read-copy update (RCU) [22, 17, 11] at the May 2015 Dagstuhl workshop on Compositional Verification Methods for Next-Generation Concurrency, and was pleasantly but profoundly surprised to learn that a number of the formal-verification researchers in attendance were disappointed to have not seen any RCU code. This document is an attempt to give them some degree of sati...
متن کامل